A Virtual Class Calculus
نویسندگان
چکیده
منابع مشابه
A Virtual Machine for a Process Calculus
Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper presents a virtual machine for a strongly typed, polymorphic, concurrent, object-oriented programming language based on the TyCO process calculus. The system runs byte-code files, assembled from an intermediate assembly language re...
متن کاملVideotraining: A comparison between "virtual class" and "remote class"
The main question in this article is to evaluate a new type of communication technology, the videoconferencing as a tool for remote training. The usage of two tools of videotraining is observed: the usage of individual computer in “virtual class” and a usage of a “remote class”. In the first part, a review of the literature will enable us to present the questions specific to the evaluation of v...
متن کاملA symbolic calculus for a class of quantum computing circuits
This paper introduces a symbolic calculus to evaluate the output signals at the target line(s) of quantum computing subcircuits using controlled negations and controlled-Q gates, where Q represents the k-th root of [0 1; 1 0], the unitary matrix of NOT, and k is a power of two. The controlling signals are GF(2) expressions possibly including Boolean expressions. The method does not require oper...
متن کاملA natural Gromov-Witten virtual fundamental class
We prove that the Gromov-Witten moduli space of a compact symplectic manifold carries a unique virtual fundamental class that satisfies certain naturality conditions. The theorem also applies to moduli spaces of relative J-holomorphic maps. The virtual fundamental class is constructed using only Gromov-type perturbations by introducing stabilizing divisors and systematically applying the natura...
متن کاملA Natural Gromov-witten Virtual Fundamental Class
We describe a program for proving that the Gromov-Witten moduli spaces of compact symplectic manifolds carry a unique virtual fundamental class that satisfies certain naturality conditions. The virtual fundamental class is constructed using only Ruan-Tian perturbations by introducing stabilizing divisors, using Čech homology, and systematically applying the naturality conditions. In low dimensi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 2005
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v34i577.7225